161. Between logic and intuition :
Author: edited by Gila Sher, Richard Tieszen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Lógica simbólica y matemática.,Matemáticas-- Filosofía.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
Classification :
QA9
.
A5
B489
2007
162. Bibliography of mathematical logic
Author:
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Logic,Symbolic and mathematical-Bibliography
Classification :
016
.
5113
R
163. Bridge to abstract mathematics :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical ; Mathematics ;
164. Bridge to abstract mathematics
Author: / by Ronald P. Morash
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.,Mathematics--1961
Classification :
QA9
,.
M74
,
1987
165. Bridge to abstract mathematics /
Author: Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
166. Bridge to abstract mathematics : mathematical proof and structures
Author: by Ronald P. Morash,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Logic, Symbolic and mathematical,Mathematics
Classification :
QA
.
M74
9
1987
167. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
Author: P. Martin-Lof, G Mints, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
417
168. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
I57
1988
169. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
Author: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
385
170. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
W67
1988
171. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
Author: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
440
172. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
W67
1989
173. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
Author: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
329
174. Cabal Seminar 77-79: proceedings, Caltech-UCLA Logic Seminar 1977-79
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
839
175. Cabal Seminar : proceedings, Caltech-UCLA Logic Seminar
Author:
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
1
.
L4
v
.
689
,
839
,
1019
176. Cabal Seminar 76-77: proceedings, Caltech-UCLA Logic Seminar 1976-77
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
689
177. Cabal Seminar 79-81: proceedings, Caltech-UCLA Logic Seminar 1979-81
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
1019
178. Cabal seminar 77-79
Author: / edited by A.S. Kechris, D.A. Martin, Y.N. Moschovakis
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical -- Congresses,Set theory -- Congresses,Recursion theory -- Congresses
Classification :
QA
248
.
C35
1977
179. Cabal seminar 76-77: proceedings, caltech UCLA logic seminar 1976-77
Author: edited by A. S. Kechris and Y. N. Moschovakis
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
689
180. Cambridge Summer School in Mathematical Logic; ]papers[
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
337
